TAGs: solving exponential